Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views
نویسندگان
چکیده
Designing cyber-physical systems (CPSs) increasingly requires the use of multi-domain models throughout the development process. Ensuring consistent relationships between various system models is an important part of an integrated design methodology. This paper describes an architectural approach to reasoning about relations between heterogeneous system models. The run-time base architecture of the system is used as a unifying representation to compare the structure and semantics of the associated models. Each model is related to the base architecture through the abstraction of an architectural view, which captures structural and semantic correspondences between model elements and system entities. The use of the architectural view framework to relate system models from different domains is illustrated in the context of a quadrotor air vehicle. Keywords-architectural views; multi-domain modeling; cyberphysical systems; component-connector;
منابع مشابه
Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems
Multi-view modeling refers to a system designer constructing distinct and separate models of the same system to model different (semantic) aspects of a system. Modeling pragmatics also entails constructing different views of a system, but here the focus is on syntactic/pragmatic aspects, and the views are constructed automatically by filtering and drawing algorithms. In this paper, we argue tha...
متن کاملA Multidisciplinary Design Methodology for Cyber-physical Systems
Designing cyber-physical systems is a challenge originating from the multidisciplinary and mixed-signal requirements. In order to handle this challenge, many design languages have been developed, but none is able to connect different application domains adequately. This paper proposes a new system based view for cyber-physical system design which can be easily adapted by MARTE or SysML, as it u...
متن کاملMODELS: G: Architectural and Analytic Integration of Cyber-Physical System Models
Modeling methods for Cyber-Physical Systems (CPS) originate in various engineering fields, and are difficult to use together due to their heterogeneity. Inconsistencies between mutually oblivious models and analyses often lead to implicit design errors, which may cause catastrophic failures of critical CPS. Such consistency issues are not fully solved by the stateof-the-art integration methods,...
متن کاملArchitectural and Analytic Integration of Cyber-Physical System Models
Modeling methods for Cyber-Physical Systems (CPS) originate in various engineering fields, and are difficult to use together due to their heterogeneity. Inconsistencies between mutually oblivious models and analyses often lead to implicit design errors, which may cause catastrophic failures of critical CPS. Such consistency issues are not fully solved by the state-of-the-art integration methods...
متن کاملTitle: CPS: Medium: GOALI: An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems (Award # 1035800) Authors:
Current methods for design and verification of cyber-physical systems (CPS) lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Heterogeneous models describe different aspects of a CPS at varying levels of abstraction and using different formal languages. This prevents engineers from detecting inconsistencies among models and rea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010